.tochidden,
.toctoggle {
	-moz-user-select: none;
	-webkit-user-select: none;
	-ms-user-select: none;
	user-select: none;
}

.toctoggle {
	font-size: 94%;
}
